منابع مشابه
Solving the Flowgraphs Case with Eclectic
The TTC 2013 Flow Graphs case [3] proposes the analysis of Java programs, conforming to the JaMoPP meta-model [2], by transforming them into a language-independent meta-model which represents the structure of the program and includes information about control and data flows. This solution makes use of the Eclectic transformation tool [1] to solve the four proposed tasks. The fourth task has bee...
متن کاملSolving the TTC 2013 Flowgraphs Case with FunnyQT
FunnyQT1 is a new model querying and transformation approach which is implemented as an API for the functional, JVM-based Lisp-dialect Clojure. It provides several sub-APIs for implementing different kinds of queries and transformations. For example, there is a model-to-model transformation API, and there is an in-place transformation API for writing programmed graph transformations. FunnyQT cu...
متن کاملThe TTC 2013 Flowgraphs Case
This case for the Transformation Tool Contest 2013 is about evaluating the scope and usability of transformation languages and tools for a set of four tasks requiring very different capabilities. One task deals with typical model-to-model transformation problem, there’s a model-to-text problem, there are two in-place transformation problems, and finally there’s a task dealing with validation of...
متن کاملAnalyzing Flowgraphs with ATL
This paper presents a solution to the Flowgraphs case study for the Transformation Tool Contest 2013 (TTC 2013). Starting from Java source code, we execute a chain of model transformations to derive a simplified model of the program, its control flow graph and its data flow graph. Finally we develop a model transformation that validates the program flow by comparing it with a set of flow specif...
متن کاملGrammar Characterization of Flowgraphs
Introduction Several attempts to handle program schemes as mathematical entities have been made in recent years, in an effort to develop algebraic techniques covering program optimization, debugging, verification, and classification [l31. The studies in this area tend to follow two different approaches, according to the two fundamental aspects of a program, i.e., its control flow [4] and its se...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2013
ISSN: 2075-2180
DOI: 10.4204/eptcs.135.6